Exploiting Implicit Mathematical Semantics in Conversion between TEX and MathML
نویسنده
چکیده
We present a new strategy for conversion between TEX mathematical expressions and MathML. Previous efforts have attempted either superficial high level transliteration or full execution of TEX. We observe that document markup typically uses macros that relate to semantics, and show how this structure can be exploited in the translation process. We present the overall architecture of two implementations that take advantage of this information: a converter from TEX to MathML and another from MathML to TEX. Our implementation allows control over which macros are expanded and which are mapped at a semantic level.
منابع مشابه
Generating TEX from mathematical content with respect to notational settings
We describe how to obtain client-preferred notations in TEX generated from the output of mathematical software environments. Our approach is based on the fact that most packages can produce MathML or other XML-based formats for mathematical content. Generating TEX from these allows notational choices to be applied during the translation process. The particular choices of notation can be made ei...
متن کاملTagged mathematics in PDFs for accessibility and other purposes
PDF has been the preferred format for publishing mathematics for many years now. With changes to methods of delivery (i.e., electronic rather than predominantly paper) there need to be corresponding enhancements in the document format. Not least among these can be implicit legal obligations to satisfy Accessibility criteria. The answer developed for PDF is tagging of document structure and cont...
متن کاملMathML formatting with TEX rules , TEX fonts , and TEX quality ∗
In this paper we investigate the architecture of a MathML formatting engine based on an abstraction of the TEX box primitives. This engine is carefully designed so that the TEX-dependent formatting rules are isolated from the independent ones and is capable of achieving TEX-comparable output quality when used in conjunction with TEX fonts. We show how the formatting rules presented in Appendix ...
متن کاملThe Declaratron, semantic specification for scientific computation using MathML
We introduce the Declaratron, a system which takes a declarative approach to specifying mathematically based scientific computation. This uses displayable mathematical notation (Content MathML) and is both executable and semantically well defined. We combine domain specific representations of physical science (e.g. CML, Chemical Markup Language), MathML formulae and computational specifications...
متن کاملMathML - aware article conversion from L A TEX . A comparison study
Publishing in Mathematics and theoretical areas in Computer Science and Physics has been predominantly using TEX/LTEX as a formatting language in the last two decades. This large corpus of borndigital material is both a boon — LTEX is semi-semantic format where the source often contains indications of the author’s intentions — and a problem — TEX is Turing-complete and authors use this freedom ...
متن کامل